gnome-shell-extension-tool: Fix error after creating extension

Commit 7a8a00c7057d56350d4b5509cefd812a67d4b7d7 cleaned up the code to move all
files to a dictionary, which accidentally left an undefined "extensionjs_path"
error. Fix that error.

https://bugzilla.gnome.org/show_bug.cgi?id=661623

diff --git a/src/gnome-shell-extension-tool.in b/src/gnome-shell-extension-tool.in
index e610b462f449b09802cf652a9c75344b8bb202f0..8ec24fbeff8e85b19f76485ec4073fe71adbe7ab 100644 (file)
--- a/src/gnome-shell-extension-tool.in
+++ b/src/gnome-shell-extension-tool.in
@@ -148,5 +148,6 @@ use an extension title clicktofocus@janedoe.example.com.'''
         f.close()
 
     print "Created extension in %r" % (extension_path, )
+    extensionjs_path = os.path.join(extension_path, 'extension.js')
     subprocess.Popen(['gnome-open', extensionjs_path])
     sys.exit(0)